Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
301	Automated Deduction by Theory Resolution Mark Stickel Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-04-12 01:51:24 Logic Unit propagation Resolution Mathematical logic Logic programming Theory Automated theorem proving Mathematics Science
302	Crowd-scale Interactive Formal Reasoning and Analytics Ethan Fast1 , Colleen Lee1 , Alex Aiken1 , Michael Bernstein1 , Daphne Koller1 , Eric Smith2 Stanford University1 , Kestrel Institute2 {ethan.fast, clee0, aiken, msb Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2013-07-11 01:52:09 Proof theory Automated theorem proving Mathematical logic Theorem Formal proof First-order logic LL parser Parsing Syntax Logic Logical syntax Formal languages
303	Reliability Digest, NovemberExploit Generation from Software Failures Shih-Kun Huang Information Technology Service Center National Chiao Tung University Add to Reading List Source URL: rs.ieee.org Language: English - Date: 2014-11-17 21:02:54 Automated theorem proving Concolic testing Symbolic execution Reliability engineering KeY Code injection Function Mathematics Formal methods Systems engineering
304	The Phase Transition in Exact Cover Vamsi Kalapala∗ and Cristopher Moore∗,† {vamsi,moore}@cs.unm.edu, ∗ Department of Computer Science, University of New Mexico Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2008-10-23 11:39:06 Automated theorem proving NP-complete problems Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Resolution Unit propagation Constraint satisfaction Theoretical computer science Mathematics Applied mathematics
305	ARTIFIC~L r~rELUOE~CE 189 STRIPS: A New Approach to the Application of .Theorem Proving to Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2004-11-22 14:26:00 Automated theorem proving Metalogic Rules of inference Logical syntax First-order logic Logic programming Resolution STRIPS Algorithm Logic Mathematical logic Mathematics
306	On “AI meets Formal Software Development” Alan Bundy   AI of the Gaps? Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Automated theorem proving Mathematical logic Mathematical proof Proof Ontology Mathematics Logic Knowledge
307	Overview SAT Solving and its Relationship to CSPs ‫ ڗ‬Tremendous gains have been achieved over the Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-02-02 18:24:48 Theoretical computer science Resolution Unit propagation Conjunctive normal form Literal Backtracking Inequality Davis–Putnam algorithm Automated theorem proving Mathematics Mathematical logic
308	Explicit vs Implicit Search Guidance Alan Bundy University of Edinburgh Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Automated theorem proving Heuristics Rippling Theorem Lemma Mathematical proof Mathematics Logic Linguistics
309	Exponential Lower Bounds for AC0 -Frege Imply Superpolynomial Frege Lower Bounds Yuval Filmus1 ? , Toniann Pitassi1 ? , and Rahul Santhanam2 1 University of Toronto, yuvalf, Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2011-06-22 20:53:40 Logic in computer science Automated theorem proving Frege system Propositional calculus Computational complexity theory Proof complexity Function Gottlob Frege Mathematical proof Mathematics Theoretical computer science Mathematical logic
310	Invariant Generation in Vampire? Kryˇstof Hoder1 , Laura Kov´acs2 , and Andrei Voronkov1 1 University of Manchester 2 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-05-02 08:17:07 Mathematical logic Invariant Loop invariant Automated theorem proving Emmy Noether First-order logic Mathematics Software engineering Formal methods

UPDATE